%module minisat
%{
	#include "Solver.h"
%}

class lbool {
public:
	 int get_v();
};


template<class T>
class vec {
public:
	T& element(int i);
};

%template(veci) vec<lbool>;


class Solver{
public:
	Solver();
    ~Solver();
	bool   solve();
	
   void new_clause_add_lit(int literal);
   void new_clause_push();
	
	vec<lbool> model;
	//vec<lbool> get_result_model();
};				


